Poly[1]

D. C. J. Matthews, Cambridge, early 80's

A polymorphic, block-structured language.

"An Overview of the Poly Programming Language", D. C. J. Matthews, in Data Types and Persistence, Malcolm P. Atkinson et al eds, Springer-Verlag, 1988.